Works by C. L. Chang

( view other items matching `C. L. Chang`, view all matches )
Order:
  1.  9
    An admissible and optimal algorithm for searching AND/OR graphs.C. L. Chang & J. R. Slagle - 1971 - Artificial Intelligence 2 (2):117-128.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  5
    Renamable paramodulation for automatic theorem proving with equality.C. L. Chang - 1970 - Artificial Intelligence 1 (3-4):247-256.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  2
    Using rewriting rules for connection graphs to prove theorems.C. L. Chang & J. R. Slagle - 1979 - Artificial Intelligence 12 (2):159-178.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation